﻿// ==++==
// 
//   Copyright (c) Microsoft Corporation.  All rights reserved.
// 
// ==--==
using System;
using System.Collections.Generic;
using System.Text;
using Microsoft.ExtendedReflection.Utilities.Safe.Diagnostics;

namespace Microsoft.Pex.Fitness.Interfaces
{
    internal struct PexCompositeFitnessValue
    {
        /// <summary>
        /// Fitness value for a particular target
        /// </summary>
        public readonly int FitnessValue;

        /// <summary>
        /// Branch fitness gain for a particular target
        /// </summary>
        public readonly int BranchFitnessGain;

        public PexCompositeFitnessValue(
            int fitnessValue,
            int branchFitnessGain)
        {
            //SafeDebug.Assume(fitnessValue >= 0, "fitnessValue >= 0");
            this.FitnessValue = fitnessValue;
            this.BranchFitnessGain = branchFitnessGain;
        }

        public override string ToString()
        {
            return "fit:" + FitnessValue + ";gain:" + BranchFitnessGain;
        }
    }
}
